HANDLE_OP_X_DOUBLE(OP_DIV_DOUBLE, "div", /)
OP_END
